101. Circuit design for CMOS VLSI
المؤلف: / by John P. Uyemura
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Integrated circuits - Very large scale integration,Metal oxide semiconductors, Complementary,Electronic circuit design
رده :
TK
7874
.
U93
1992
102. Circuit simulation
المؤلف: / Farid N. Najm
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Electronic circuits, Computer simulation,Electronic circuits, Mathematical models,Integrated circuits, Computer simulation,Electronic books., local
رده :
TK7867
.
N33
2010
103. Circuit simulation
المؤلف: Najm, Farid N.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Computer simulation ، Electronic circuits,Mathematical models ، Electronic circuits,Computer simulation ، Integrated circuits
رده :
TK
7867
.
N33
2010
104. Circuit simulation
المؤلف: / Farid N. Najm
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Electronic circuits, Computer simulation,Electronic circuits, Mathematical models,Integrated circuits, Computer simulation
رده :
TK7867
.
N33
2010
105. Circuit simulation
المؤلف: / Farid N. Najm
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electronic circuits--Computer simulation,Electronic circuits--Mathematical models,Integrated circuits--Computer simulation
رده :
TK
,
7867
,.
N33
,
2010
106. Circuit simulation
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic circuits ; Computer simulation. ; Electronic circuits ; Mathematical models. ; Integrated circuits ; Computer simulation. ;
107. Circuit simulation methods and algorithms
المؤلف: Ogrodzki, Jan.
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: Computer simulation ، Electronic circuits,Computer simulation ، Integrated circuits,، Computer-aided design
رده :
TK
7867
.
O33
1994
108. Circuit simulation methods and algorithms /
المؤلف: Jan Ogrodzki.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: OPTIMA (Computer file),OPTIMA (Computer file),Computer-aided design.,Electronic circuits-- Computer simulation.,Integrated circuits-- Computer simulation.,Circuits électroniques.,Circuits intégrés.,Computer-aided design.,Electronic circuits-- Computer simulation.,Elektronische Schaltung.,Integrated circuits-- Computer simulation.,Simulation.
رده :
TK7867
.
O33
1994
109. Circuit simulation with SPICE OPUS
المؤلف: Tadej Tuma, Árpád Bűrmen
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: SPICE (Computer file),Electronic circuits-- Computer simulation,Linear integrated circuits
رده :
TK7874
.
654
.
T86
2009eb
110. Circuit simulation with SPICE OPUS :theory and practice
المؤلف: Tuma, Tadej.
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، SPICE )Computer file(,، Linear integrated circuits,Computer simulation ، Electronic circuits
رده :
TK
7874
.
654
.
T86
2009
111. 303 Circuits
المؤلف:
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Electronic circuits- Problems, Exercises, etc,Electronics- Problems, Exercises, etc,Integrated circuits- Problems, Exercises, etc,Electronics- Problems, Exersises, etc
رده :
TK7868
.
C5
1988
112. Circuits, interconnections, and packaging for VLSI
پدیدآورنده : Bakoglu, H. B., 8591-
موضوع : ، Integrated circuits- Very large scale integration- Design and construction,، Electronic packaging
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
113. Circuits, interconnections, and packaging for VLST
المؤلف: Bakoglu, H. B.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Very large scale integration - Design and construction ، Integrated circuits,، Electronic packaging
رده :
TK
7874
.
B345
1990
114. Circuts interconnections and Packaging for VLSI
المؤلف: / H. B. Bakoglu
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Integrated circuits--Very large scale integration--Design and construction,Electronic packaging
رده :
TK
7874
.
B345
1990
115. Computer Design Aids for VLSI Circuits
المؤلف: \ edited by P. Antognetti, D.O. Pederson, H. De Man
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Integrated circuits -- Large scale integration -- Congresses.,Electronic circuit design -- Computer programs -- Congresses.,مدارهای مجتمع -- مجتمعسازی در مقیاس بزرگ -- کنگره ها
رده :
E-Book
,
116. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
المؤلف: G. v. Bochmann, D.K. Probst, eds
المکتبة: (طهران)
موضوع: Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
رده :
QA
76
.
76
.
V47
C38
1993
117. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
المؤلف: Warren A. Hunt, Jr., Fabio Somenzi )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2725
118. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
المؤلف: Rajeev Alur, Doron A. Peled )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3114
119. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
المؤلف: Kousha Etessami, Sriram K. Rajamani )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3576
120. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
المؤلف: Rajeev Alur, Thomas A. Henzinger
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1102